From 1310a6155f2f53033a52f2342ca04a44d3cac775 Mon Sep 17 00:00:00 2001 From: Keir Fraser Date: Wed, 22 Jul 2009 14:03:32 +0100 Subject: [PATCH] x86 mce: Fix formatting in a couple of printks. Signed-off-by: Christoph Egger --- xen/arch/x86/cpu/mcheck/mce.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/xen/arch/x86/cpu/mcheck/mce.c b/xen/arch/x86/cpu/mcheck/mce.c index b6df4e094c..4e2c16a959 100644 --- a/xen/arch/x86/cpu/mcheck/mce.c +++ b/xen/arch/x86/cpu/mcheck/mce.c @@ -798,7 +798,7 @@ int mce_wrmsr(u32 msr, u64 value) case MSR_IA32_MCG_CTL: if ( value && (value + 1) ) { - gdprintk(XENLOG_WARNING, "MCE: value written to MCG_CTL" + gdprintk(XENLOG_WARNING, "MCE: value written to MCG_CTL " "should be all 0s or 1s\n"); ret = -1; break; @@ -847,7 +847,7 @@ int mce_wrmsr(u32 msr, u64 value) case MSR_IA32_MC0_CTL: if ( value && (value + 1) ) { - gdprintk(XENLOG_WARNING, "MCE: value written to MC%u_CTL" + gdprintk(XENLOG_WARNING, "MCE: value written to MC%u_CTL " "should be all 0s or 1s (is %"PRIx64")\n", bank, value); ret = -1; -- 2.30.2